derivation tree

derivation tree
1) дерево разбора
2) дерево вывода
дерево, отражающее процедуру логического вывода; его вершинами являются или исходные формулы, или формулы, полученные в процессе вывода.

Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. . 1998-2007.

Игры ⚽ Поможем написать реферат

Смотреть что такое "derivation tree" в других словарях:

  • derivation tree — išvedimo medis statusas T sritis informatika apibrėžtis ↑Medžio pavidalo reiškinio orientuotasis grafas. Jo viršūnėms priskirti loginio skaičiavimo reiškiniai tenkina sąlygas: medžio šaknį atitinka pradinis reiškinys, lapus – aksiomos, o… …   Enciklopedinis kompiuterijos žodynas

  • Derivation — may refer to: Derivation (abstract algebra), a function on an algebra which generalizes certain features of the derivative operator Derivation (linguistics) Derivation in differential algebra, a unary function satisfying the Leibniz product law… …   Wikipedia

  • Tree-adjoining grammar — (TAG) is a grammar formalism defined by Aravind Joshi. Tree adjoining grammars are somewhat similar to context free grammars, but the elementary unit of rewriting is the tree rather than the symbol. Whereas context free grammars have rules for… …   Wikipedia

  • cumball tree — noun Alternate name for the Osage Orange tree. See cumball for derivation …   Wiktionary

  • Bottom-up parsing — (also known as shift reduce parsing) is a strategy for analyzing unknown data relationships that attempts to identify the most fundamental units first, and then to infer higher order structures from them. It attempts to build trees upward toward… …   Wikipedia

  • Generative grammar — In theoretical linguistics, generative grammar refers to a particular approach to the study of syntax. A generative grammar of a language attempts to give a set of rules that will correctly predict which combinations of words will form… …   Wikipedia

  • Terminal yield — In formal language theory, the terminal yield (or fringe) of a tree is the sequence of leaves encountered in an ordered walk of the tree.Parse trees and/or derivation trees are encountered in the study of phrase structure grammars such as context …   Wikipedia

  • Genetic editing — (French critique génétique; German genetische Kritik) is an approach to scholarly editing in which an exemplar is seen as derived from a dossier of other manuscripts and events. The derivation can be through physical cut and paste; writing or… …   Wikipedia

  • Algebraic Logic Functional programming language — also known as ALF is a programming language which combines functional and logic programming techniques. Its foundation is Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and… …   Wikipedia

  • Generalised phrase structure grammar — (GPSG) is a framework for describing the syntax and semantics of natural languages. GPSG was initially developed in the late 1970s by Gerald Gazdar. Other contributors include Ewan Klein, Ivan Sag, and Geoffrey Pullum. Their book Generalized… …   Wikipedia

  • GOLD Parsing System — GOLD Parsing System …   Deutsch Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»